package services;
import contracts.ContractException;
import utils.Type;
import utils.Tresor;

public interface BlocService {
	/* Observators */
	public Type getType();
	public Tresor getTresor();

	/* Constructors */
	public void init(Type type, Tresor tresor) throws ContractException;

	/* Observations :
		[init]
       		getType(init(type,tresor)) = type
       		getTresor(init(type,tresor)) = tresor
	 */
}
